Mat. - Maniera logica di provare l'uguaglianza di due grandezze dimostrando che
la loro differenza è più piccola di tutta la quantità data.
Questo metodo si ritrova per la prima volta nelle dimostrazioni di Eudosso (408
a.C.) e successivamente negli scritti di Antifone e di Brisone. è ben
riassunto nel principio contenuto negli
Elementi di Euclide: "Date due
grandezze disuguali, se dalla maggiore si sottrae una grandezza più
grande della sua metà e da ciò che resta una grandezza più
grande della sua metà, e se questa operazione si ripete continuamente,
resterà una certa grandezza che sarà più piccola della
grandezza minore assegnata".